English English Russian Русский
  • English English
  • Russian Russian
  • English English
  • Russian Russian
en

Formal derivation

ru

Translation formal derivation into russian

formal derivation
The textbook provided a formal derivation of the theorem.
Учебник предоставил формальное выведение теоремы.